1. Axiomatising the Logic of Computer Programming
پدیدآورنده : by Robert Goldblatt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer science.,Logic design.
2. Lectures on the hyperreals : an introduction to nonstandard analysis
پدیدآورنده : Goldblatt, Robert
کتابخانه: (طهران)
موضوع : ، Nonstandard mathematical analysis
رده :
QA
299
.
82
.
G65
3. Lectures on the hyperreals: an introduction to nonstandard analysis
پدیدآورنده : Goldblatt, Robert.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Nonstandard mathematical analysis
رده :
QA
299
.
82
.
G65
1998
4. Logics of time and computation
پدیدآورنده : Goldblatt, Robert
کتابخانه: (طهران)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
7
5. Mathematics of modality
پدیدآورنده : / Robert Goldblatt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
G66
1993
6. Mathematics of modality
پدیدآورنده : / Robert Goldblatt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
G66
1993
7. Mathematics of modality
پدیدآورنده : / Robert Goldblatt
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Modality (Logic)
رده :
E-BOOK
8. Orthogonality and spacetime geometry
پدیدآورنده : Goldblatt, Robert.
موضوع : ، Geometry, Affine,، Space and time,، Functions, Orthogonal
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
9. Orthogonality and spacetime geometry
پدیدآورنده : Goldblatt, Robert.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Geometry, Affine,، Space and time,، Functions, Orthogonal
رده :
QA
477
.
G65
1987
10. Orthogonality and spacetime geometry
پدیدآورنده : Goldblatt, Robert
کتابخانه: (طهران)
موضوع : ، Geometry, Affine,، Space and time,، Functions, Orthogonal
رده :
QA
477
.
G65
11. Topoi
پدیدآورنده : / Robert Goldblatt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Toposes
رده :
QA169
.
G64
1983
12. Topoi : The categorial analysis of logic
پدیدآورنده : Goldblatt, Robert
کتابخانه: (طهران)
موضوع : ، Toposes
رده :
QA
169
.
G64
1983
13. Topoi, the categorial analysis of logic
پدیدآورنده : Goldblatt, Robert.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Toposes
رده :
QA
169
.
G64
1984
14. #Topoi, the categorial analysis of logic
پدیدآورنده : #Robert Goldblatt
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Toposes
رده :
#
QA
،#.
G64
،#
1984
15. Topoi, the categorial analysis of logic
پدیدآورنده : / Robert Goldblatt
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Toposes
رده :
QA169
.
G64
1983